Reduced Standard Modules and Cohomology
نویسندگان
چکیده
First cohomology groups of finite groups with nontrivial irreducible coefficients have been useful in several geometric and arithmetic contexts, including Wiles’s famous paper (1995). Internal to group theory, 1-cohomology plays a role in the general theory of maximal subgroups of finite groups, as developed by Aschbacher and Scott (1985).One can pass to the case where the group acts faithfully and the underlying module is absolutely irreducible. In this case, R. Guralnick (1986) conjectured that there is a universal constant bounding all of the dimensions of these cohomology groups. This paper provides the first general positive results on this conjecture, proving that the generic 1-cohomology H1 gen(G,L) := lim q→∞ H1(G(q), L) (see Cline, Parshall, Scott, and van der Kallen) (1977) of a finite group G(q) of Lie type, with absolutely irreducible coefficients L (in the defining characteristic of G), is bounded by a constant depending only on the root system. In all cases, we are able to improve this result to a bound on H1(G(q), L) itself, still depending only on the root system. The generic H1 result, and related results for Ext, emerge here as a consequence of a general study, of interest in its own right, of the homological properties of certain rational modules ∆(λ),∇red(λ), indexed by dominant weights λ, for a reductive group G. The modules ∆red(λ) and ∇red(λ) arise naturally from irreducible representations of the quantum enveloping algebra Uζ (of the same type as G) at a pth root of unity, where p > 0 is the characteristic of the defining field for G. Finally, we apply our Ext1-bounds, results of Bendel, Nakano, and Pillen (2006), as well as results of Sin (1993), (1992), (1994) on the Ree and Suzuki groups to obtain the (nongeneric) bounds on H1(G(q), L).
منابع مشابه
Tame Loci of Generalized Local Cohomology Modules
Let $M$ and $N$ be two finitely generated graded modules over a standard graded Noetherian ring $R=bigoplus_{ngeq 0} R_n$. In this paper we show that if $R_{0}$ is semi-local of dimension $leq 2$ then, the set $hbox{Ass}_{R_{0}}Big(H^{i}_{R_{+}}(M,N)_{n}Big)$ is asymptotically stable for $nrightarrow -infty$ in some special cases. Also, we study the torsion-freeness of graded generalized local ...
متن کاملTOP LOCAL COHOMOLOGY AND TOP FORMAL LOCAL COHOMOLOGY MODULES WITH SPECIFIED ATTACHED PRIMES
Let (R,m) be a Noetherian local ring, M be a finitely generated R-module of dimension n and a be an ideal of R. In this paper, generalizing the main results of Dibaei and Jafari [3] and Rezaei [8], we will show that if T is a subset of AsshR M, then there exists an ideal a of R such that AttR Hna (M)=T. As an application, we give some relationships between top local cohomology modules and top f...
متن کاملSerre Subcategories and Local Cohomology Modules with Respect to a Pair of Ideals
This paper is concerned with the relation between local cohomology modules defined by a pair of ideals and the Serre subcategories of the category of modules. We characterize the membership of local cohomology modules in a certain Serre subcategory from lower range or upper range.
متن کاملExtension functors of generalized local cohomology modules and Serre subcategories
In this paper we present several results concerning the cofiniteness of generalized local cohomology modules.
متن کاملFINITENESS PROPERTIES OF LOCALE COHOMOLOGY MODULES FOR (I;J)- MINIMAX MODULES
ABSTRACT. Let R be a commutative noetherian ring, I and J are two ideals of R. Inthis paper we introduce the concept of (I;J)- minimax R- module, and it is shown thatif M is an (I;J)- minimax R- module and t a non-negative integer such that HiI;J(M) is(I;J)- minimax for all i
متن کاملON GRADED LOCAL COHOMOLOGY MODULES DEFINED BY A PAIR OF IDEALS
Let $R = bigoplus_{n in mathbb{N}_{0}} R_{n}$ be a standardgraded ring, $M$ be a finitely generated graded $R$-module and $J$be a homogenous ideal of $R$. In this paper we study the gradedstructure of the $i$-th local cohomology module of $M$ defined by apair of ideals $(R_{+},J)$, i.e. $H^{i}_{R_{+},J}(M)$. Moreprecisely, we discuss finiteness property and vanishing of thegraded components $H^...
متن کامل